548 research outputs found

    Computational Complexity of Synchronization under Regular Commutative Constraints

    Full text link
    Here we study the computational complexity of the constrained synchronization problem for the class of regular commutative constraint languages. Utilizing a vector representation of regular commutative constraint languages, we give a full classification of the computational complexity of the constraint synchronization problem. Depending on the constraint language, our problem becomes PSPACE-complete, NP-complete or polynomial time solvable. In addition, we derive a polynomial time decision procedure for the complexity of the constraint synchronization problem, given some constraint automaton accepting a commutative language as input.Comment: Published in COCOON 2020 (The 26th International Computing and Combinatorics Conference); 2nd version is update of the published version and 1st version; both contain a minor error, the assumption of maximality in the NP-c and PSPACE-c results (propositions 5 & 6) is missing, and of incomparability of the vectors in main theorem; fixed in this version. See (new) discussion after main theore

    Probing microwave fields and enabling in-situ experiments in a transmission electron microscope.

    Get PDF
    A technique is presented whereby the performance of a microwave device is evaluated by mapping local field distributions using Lorentz transmission electron microscopy (L-TEM). We demonstrate the method by measuring the polarisation state of the electromagnetic fields produced by a microstrip waveguide as a function of its gigahertz operating frequency. The forward and backward propagating electromagnetic fields produced by the waveguide, in a specimen-free experiment, exert Lorentz forces on the propagating electron beam. Importantly, in addition to the mapping of dynamic fields, this novel method allows detection of effects of microwave fields on specimens, such as observing ferromagnetic materials at resonance

    On the Number of Synchronizing Colorings of Digraphs

    Full text link
    We deal with kk-out-regular directed multigraphs with loops (called simply \emph{digraphs}). The edges of such a digraph can be colored by elements of some fixed kk-element set in such a way that outgoing edges of every vertex have different colors. Such a coloring corresponds naturally to an automaton. The road coloring theorem states that every primitive digraph has a synchronizing coloring. In the present paper we study how many synchronizing colorings can exist for a digraph with nn vertices. We performed an extensive experimental investigation of digraphs with small number of vertices. This was done by using our dedicated algorithm exhaustively enumerating all small digraphs. We also present a series of digraphs whose fraction of synchronizing colorings is equal to 11/kd1-1/k^d, for every d1d \ge 1 and the number of vertices large enough. On the basis of our results we state several conjectures and open problems. In particular, we conjecture that 11/k1-1/k is the smallest possible fraction of synchronizing colorings, except for a single exceptional example on 6 vertices for k=2k=2.Comment: CIAA 2015. The final publication is available at http://link.springer.com/chapter/10.1007/978-3-319-22360-5_1

    Topological Crystalline Insulators in the SnTe Material Class

    Get PDF
    Topological crystalline insulators are new states of matter in which the topological nature of electronic structures arises from crystal symmetries. Here we predict the first material realization of topological crystalline insulator in the semiconductor SnTe, by identifying its nonzero topological index. We predict that as a manifestation of this nontrivial topology, SnTe has metallic surface states with an even number of Dirac cones on high-symmetry crystal surfaces such as {001}, {110} and {111}. These surface states form a new type of high-mobility chiral electron gas, which is robust against disorder and topologically protected by reflection symmetry of the crystal with respect to {110} mirror plane. Breaking this mirror symmetry via elastic strain engineering or applying an in-plane magnetic field can open up a continuously tunable band gap on the surface, which may lead to wide-ranging applications in thermoelectrics, infrared detection, and tunable electronics. Closely related semiconductors PbTe and PbSe also become topological crystalline insulators after band inversion by pressure, strain and alloying.Comment: submitted on Feb. 10, 2012; to appear in Nature Communications; 5 pages, 4 figure
    corecore